1. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
2. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1258
3. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
4. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
5. Logic and Structure
پدیدآورنده : Dirk Van Dalen
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Logic, symbolic and mathematical
6. Logic and Structure
پدیدآورنده : / Dirk van Dalen
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
7. Logic and Structure
پدیدآورنده : / Dirk Van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic Circuits.,Logic Design.
رده :
TK7888
,.
4
.
D
3
8. Logic and structur
پدیدآورنده : / Dirk van Dalen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
9. Logic and structure
پدیدآورنده : / Dirk van Dalen
موضوع :
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
10. Logic and structure
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1994
11. Logic and structure
پدیدآورنده : Dirk van Dalen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
D35
2013
12. Logic and structure
پدیدآورنده : Dalen, Dirk van, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D25L6
1994
13. Logic and structure
پدیدآورنده : Dalen, Dirk Van
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1983
14. Logic and structure
پدیدآورنده : Dalen, Dirk van, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D25L6
2004
15. Logic and structure
پدیدآورنده : / Dirk van Dalen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
D16
1997
16. Logic and structure
پدیدآورنده : Dalen, Dirk van, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D25L6
1983
17. Mystic, geometer, and intuitionist: the life of L. E. J. Brouwer
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Brouwer, L. E. J.)Luitzen Egbertus Jan(, 1881-6691,Biography ، Mathematicians-- Netherlands
رده :
QA
29
.
B697
.
D35
1999
18. Sets : naive, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Axiomatic set theory
رده :
QA
248
.
D2341
1978
19. The scholar and the state :
پدیدآورنده : Alexander Soifer ; forewords by Dirk van Dalen ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
